Automated test generation from timed automata
نویسندگان
چکیده
منابع مشابه
8 Test Derivation from Timed Automata
A real-time system is a discrete system whose state changes occur in realnumbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on ...
متن کاملTimed Automata Generation from Estelle Speci cations
The aim of this paper is to present a new method to generate timed input/output automata from Estelle speciications. The main idea is to extend the ESTELLE language with a new constructor : TVAR, which permits the deenition of clocks to be used for time constraints. The second concept is to propose some semantic rules in order to deene how to take into account clock constraints in the ESTELLE s...
متن کاملAutomated Incremental Synthesis of Timed Automata
In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response – that something good will happen soon, in a certain amount of time – captures a wide range of requirements for specifying real-time and embedded systems. We show that the problem of automatic addition of a bounded response property ...
متن کاملAn Enhancement of Timed Automata Generation from Timed Scenarios Using Grouped States
Scenarios are partial behavior descriptions, used to represent users requirements as a basis for speciication construction. We have developed a basic algorithm which incrementally constructs timed automata from scenarios with timing constraints. The algorithm uses operations semantics and conditions to deene states. In this paper, the complexity of this basic algorithm is discussed and it is en...
متن کاملAutomated Boundary Test Generation from JML Specifications
We present an original approach for the automated computation of model-based test cases from specifications written in Java Modeling Language (JML). We aim at activating all the behaviors from the JML method specifications. Therefore, we extract each behavior and we compute the pertinent test data for the input parameters; we select the boundary values of the ordered domains, and we consider sp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2003
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-002-0094-1